lim 2cos(x)